Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 38 results
Sort by: relevance publication year

Analysis by Solving Logical Equations — Calculation of Siphons and Traps

BOOK CHAPTER published in Dynamic Analysis of Petri Net-Based Discrete Systems

Verification of Detailed System Descriptions

BOOK CHAPTER published in Dynamic Analysis of Petri Net-Based Discrete Systems

Main Notions, Problems and Methods

BOOK CHAPTER published in Dynamic Analysis of Petri Net-Based Discrete Systems

Nonnegative low-rank representation based manifold embedding for semi-supervised learning

JOURNAL ARTICLE published November 2017 in Knowledge-Based Systems

Research funded by NSFC of China (U1504610) | Natural Science Foundations of Henan Province (14A413013,142102210584,18A120002) | Henan International Cooperation Project (152102410036) | Henan University of Science and Technology (2014ZCX013)

Authors: Zhonghua Liu | Xiaohong Wang | Jiexin Pu | Lin Wang | Lin Zhang

Intersection Search for a Fuzzy Petri Net-Based Knowledge Representation Scheme

BOOK CHAPTER published 2009 in Knowledge-Based and Intelligent Information and Engineering Systems

Authors: Slobodan Ribarić | Nikola Pavešić | Valentina Zadrija

Explanatory Typologies in Qualitative Analysis1

BOOK CHAPTER published 2009 in The SAGE Handbook of Case-Based Methods

Authors: Colin Elman

Imaging the Brain-Injured Patient

BOOK CHAPTER published 2010 in Neurocritical Care

Authors: Tony Goddard | Kshitij Mankad

Partial Differential Equations and their Discretization

BOOK CHAPTER published 2003 in Numerical Methods and Algorithms

Authors: Yair Shapira

Multi-objective differential evolution with dynamic covariance matrix learning for multi-objective optimization problems with variable linkages

JOURNAL ARTICLE published April 2017 in Knowledge-Based Systems

Research funded by National Natural Science Foundation of China (61272283,11361001,61573281,51669006) | China Postdoctoral Science Foundation (2014M562435)

Authors: Qiaoyong Jiang | Lei Wang | Jiatang Cheng | Xiaoshu Zhu | Wei Li | Yanyan Lin | Guolin Yu | Xinhong Hei | Jinwei Zhao | Xiaofeng Lu

QoS-UniFrame: A Petri Net-Based Modeling Approach to Assure QoS Requirements of Distributed Real-Time and Embedded Systems

PROCEEDINGS ARTICLE published in 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05)

Authors: B.R. Bryant | J.G. Gray | R.R. Raje | A.M. Olson | M. Auguston

Formalization of Multimodal Languages in Pervasive Computing Paradigm

BOOK CHAPTER published 2009 in Lecture Notes in Computer Science

Authors: Arianna D’Ulizia | Fernando Ferri

Computational Methods for Rigorous Analysis of Chaotic Systems

BOOK CHAPTER published in Studies in Computational Intelligence

Authors: Zbigniew Galias

Coupling multi-level component interfaces for parallel sparse linear system solvers

PROCEEDINGS ARTICLE published 15 November 2009 in Proceedings of the 2009 Workshop on Component-Based High Performance Computing

Research funded by Iowa State University of Science and Technology (DE-AC02-07CH11358) | National Science Foundation (EIA-0202048MRI CDA-0116050)

Authors: Fang Liu | Masha Sosonkina | Dane Coffey

Lack of effects of evidence-based, individualised counselling on medication use in insured patients with mild hypertension in China: a randomised controlled trial

JOURNAL ARTICLE published June 2020 in BMJ Evidence-Based Medicine

Authors: Mengyang Di | Chen Mao | Zuyao Yang | Hong Ding | Qu Liu | Shuiming Liu | Hongbo Guo | Kunhua Jiang | Jinling Tang

Cloud Based IOPT Petri Net Simulator to Test and Debug Embedded System Controllers

BOOK CHAPTER published 2015 in IFIP Advances in Information and Communication Technology

Authors: Fernando Pereira | Luis Gomes

Study and fabrication of add/drop filter based on Bragg gratings reflection coupler

PROCEEDINGS ARTICLE published 20 November 2009 in SPIE Proceedings

Authors: Weiwei Jiang | Linyong Fan | Zhiming Liu | Peilin Tao | Jian Li | Shuisheng Jian

Editors: Perry P. Shum

Computational Geometry Methods and Intelligent Computing

BOOK CHAPTER published 2009 in Generalized Voronoi Diagram: A Geometry-Based Approach to Computational Intelligence

Authors: Marina L. Gavrilova

Methods and efficacy of social support interventions in preventing suicide: a systematic review and meta-analysis

JOURNAL ARTICLE published February 2022 in Evidence Based Mental Health

Authors: Xiaofei Hou | Jiali Wang | Jing Guo | Xinxu Zhang | Jiahai Liu | Linmao Qi | Liang Zhou

Clinical research methods for treatment, diagnosis, prognosis, etiology, screening, and prevention: A narrative review

JOURNAL ARTICLE published May 2020 in Journal of Evidence-Based Medicine

Authors: Xiaomei Yao | Ivan D. Florez | Ping Zhang | Chongfan Zhang | Yi Zhang | Chunxue Wang | Xiaofang Liu | Xiuhong Nie | Bing Wei | Michelle A. Ghert

Evaluation of User Variables in Topographic Feature Recall for the Informed Selection of Personalized Landmarks

BOOK CHAPTER published 2009 in Lecture Notes in Geoinformation and Cartography

Authors: Birgit Elias | Volker Paelke | Marcel Chaouali